تعداد ۱۱ پاسخ غیر تکراری از ۱۱ پاسخ تکراری در مدت زمان ۰,۵۳ ثانیه یافت شد.

1. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

پدیدآورنده : Michel Parigot, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1955

2. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

پدیدآورنده : Moshe Y. Vardi, Anderi Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2850

3. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming

رده :

QA

76

.

L28

Vol

.

3452

4. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2514

5. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings

پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses

رده :

005

.

115

I61L

2005

6. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings

پدیدآورنده : A. Voronkov, ed

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

624

7. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses

رده :

QA

76

.

63

.

I55

1992

8. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(

کتابخانه: (طهران)

موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses

رده :

QA

76

.

63

.

I55

1992

9. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings

پدیدآورنده : Frank Pfenning )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

822

10. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings

پدیدآورنده : A. Voronkov, )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

698

11. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

پدیدآورنده : Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1705

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها